منابع مشابه
Slow consistency
The fact that “natural” theories, i.e. theories which have something like an “idea” to them, are almost always linearly ordered with regard to logical strength has been called one of the great mysteries of the foundation of mathematics. However, one easily establishes the existence of theories with incomparable logical strengths using self-reference (Rosser-style). As a result, PA + Con(PA) is ...
متن کاملSlow intermixing of cells during Xenopus embryogenesis contributes to the consistency of the blastomere fate map.
The relatively consistent fates of the blastomeres of the frog embryo could result from (i) predetermination of the blastomeres or (ii) reproducible morphogenetic cell movements. In some species, the mixing of the cells during development provides a test between these alternative hypotheses. If blastomeres are predetermined, then random intermixing of the descendants with neighboring cells coul...
متن کاملSlow brain potentials in a visual-spatial memory task: topographic distribution and inter-laboratory consistency.
Slow brain electrical potentials (SPs) were investigated in a visual-spatialmemory task. Two issues were addressed: (1) the nature and topographic distribution of the potentials obtained under such conditions; and (2) the consistency of the SPs when recorded in six identically configured laboratories. Fifteen young male subjects were studied at each laboratory (total n = 90). The paradigm entai...
متن کاملLong Sequences of Descending Theories and other Miscellenia on Slow Consistency∗
For a provably recursive function f : N→ N of PA one can consider the notion of f -consistency for PA, Conf (PA) := ∀xCon(PA f(x)), where PA k denotes the fragment of PA with induction restricted to Σk formulae. It was shown in [8] that for a certain slow growing function f the strength of PA + Conf (PA) lies strictly between PA and PA + Con(PA). Letting τBH be the Bachmann-Howard ordinal, this...
متن کاملApproximate Consistency Condition from Running Spectral Index in Slow-Roll Inflationary Models
Density perturbations generated from inflation almost always have a spectral index ns which runs (varies with the wavelength). We explore a running spectral index scenario in which the scalar spectral index runs from blue (ns > 1) on large length scales to red (ns < 1) on short length scales. Specifically, we look for a correlation between the length scale at which ns − 1 = 0 and the length sca...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2013
ISSN: 0168-0072
DOI: 10.1016/j.apal.2012.11.009